Theories of Intentions in the Framework of Situation Calculus
نویسندگان
چکیده
We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted to consider the new components. The intention theories take account of the BDI (Belief-Desire-Intention) architecture. In order to avoid the computational complexity of theorem proving in modal logic, we explore an alternative approach that introduces the notions of belief, goal and intention fluents together with their associated successor state axioms. Hence, under certain conditions, reasoning about the BDI change is computationally similar to reasoning about ordinary fluent change. This approach can be implemented using declarative programming.
منابع مشابه
Extending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کاملCompiling Control Knowledge into Preconditions for Planning in the Situation Calculus
A promising technique used in some planning systems to improve their performance is the use of domain dependent search control knowledge. We present a procedure for compiling search control knowledge, expressed declaratively in a logic, into the preconditions of the plan actions (operators). We do this within the framework of the situation calculus by introducing a transformation of nonMarkovia...
متن کاملAntecedents of Entrepreneurial Intentions: A Cross-Country Study of Northern Europe and the Danube Region
The increasing importance of entrepreneurship for flourishing economic progression, innovation and job creation have raised the concerns of decision makers and researchers for the investigation of the dynamics that could have an influence on the entrepreneurial activity levels. Indeed, transformations in entrepreneurship and entrepreneurial activity levels are considerable, persistent and disti...
متن کاملSupplier Development Activities and Buying Firm’s Performance: An Empirical Investigation of Iranian SMEs
This study attempts to investigate the major antecedent factors that influence manufacturing SMEs intentions toward the implementation of supplier development activities in Iranian SMEs. In order to achieve this objective, the research constructs were developed. The conceptual framework underlying this study was based on the theories of supplier development activities and social capital. These...
متن کاملIncomplete Causal Laws in the Situation Calculus Using Free Fluents
We propose a simple relaxation of Reiter’s basic action theories, based on fluents without successor state axioms, that accommodates incompleteness beyond the initial database. We prove that fundamental results about basic action theories can be fully recovered and that the generalized framework allows for natural specifications of various forms of incomplete causal laws. We illustrate this by ...
متن کامل